(declare-fun y () Int)
(declare-fun c () (Seq Int))
(declare-fun a () (Seq Int))
(declare-fun x () Int)
(declare-fun b () (Seq Int))
(declare-fun l2 () Bool)
(declare-fun l3 () Bool)
(declare-fun l4 () Bool)
(declare-fun l6 () Bool)
(declare-fun true () Bool)
(declare-fun false () Bool)
(assert (and (or l3 (and true l4)) (= (seq.nth c x) (seq.nth b y)) (not (= (seq.nth a y) (seq.nth c y)))))
(assert (= false (= y (- 1))))
(assert (> x 0))
(check-sat)
